Michael Gordon - PDFSEARCH.IO - Document Search Engine

Michael Gordon
Results: 196

#	Item
31	Rely-Guarantee References for Refinement Types Over Aliased Mutable Data (Extended Version ∗) Colin S. Gordon, Michael D. Ernst, and Dan Grossman University of Washington {csgordon,mernst,djg}@cs.washington.edu Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2013-11-06 23:27:51 Mathematical logic Logic Theoretical computer science Logic in computer science Semantics Heap Predicate Immutable object Separation logic First-order logic Control FO
32	Rely-Guarantee References for Refinement Types over Aliased Mutable Data Colin S. Gordon, Michael D. Ernst, and Dan Grossman University of Washington PLDI 2013 Add to Reading List Source URL: www.cs.drexel.edu Language: English - Date: 2016-03-03 13:09:40
33	Rely-Guarantee References for Refinement Types Over Aliased Mutable Data (Extended Version ∗) Colin S. Gordon, Michael D. Ernst, and Dan Grossman University of Washington {csgordon,mernst,djg}@cs.washington.edu Add to Reading List Source URL: www.cs.drexel.edu Language: English - Date: 2016-03-03 13:09:40
34	Extracting Semantic Rules from Human Observations Karinne Ramirez-Amaro1 , Michael Beetz2 and Gordon Cheng1 Abstract— With the recent advancements of sensory technologies (such as Kinect), perceiving reliably basic hum Add to Reading List Source URL: mediatum.ub.tum.de Language: English - Date: 2013-12-13 08:55:21
35	JavaUI : Effects for Controlling UI Object Access (Extended Version)? Colin S. Gordon, Werner Dietl, Michael D. Ernst, and Dan Grossman University of Washington {csgordon,wmdietl,mernst,djg}@cs.washington.edu Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2013-11-06 23:11:38 Computing Software engineering Type theory Data types Java Object-oriented programming Swing Type system Polymorphism
36	Rely-Guarantee References for Refinement Types Over Aliased Mutable Data Colin S. Gordon, Michael D. Ernst, and Dan Grossman University of Washington {csgordon,mernst,djg}@cs.washington.edu Add to Reading List Source URL: www.cs.drexel.edu Language: English - Date: 2016-03-03 13:09:40
37	JavaUI: Effects for Controlling UI Object Access Colin S. Gordon, Werner M. Dietl, Michael D. Ernst, Dan Grossman University of Washington https://github.com/csgordon/javaui Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2013-10-24 14:36:26 Eclipse software Concurrent computing JFace Java Thread D Swing
38	Rely-Guarantee References for Refinement Types over Aliased Mutable Data Colin S. Gordon, Michael D. Ernst, and Dan Grossman University of Washington PLDI 2013 Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2013-10-24 14:36:30 Logic in computer science Program analysis Substructural logic Concurrent computing Aliasing Compiler construction Separation logic Alias Thread Assertion OCaml Type system
39	Understanding Human Activities from Observation via Semantic Reasoning for Humanoid Robots Karinne Ramirez-Amaro1 , Michael Beetz2 and Gordon Cheng1 I. I NTRODUCTION One of the main purposes of humanoid robots is to impr Add to Reading List Source URL: mediatum.ub.tum.de Language: English - Date: 2015-03-13 05:53:34
40	JavaUI : Effects for Controlling UI Object Access Colin S. Gordon, Werner Dietl, Michael D. Ernst, and Dan Grossman University of Washington {csgordon,wmdietl,mernst,djg}@cs.washington.edu Abstract. Most graphical user Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2013-11-06 23:11:33 Computing Java Type theory Swing Type system

UPDATE